mai
2012
ERic (Entity-Relationship interactive calculator) est un jeune logiciel libre, en ligne de commande, sous licence EUPL-1.1. ERic permet d’éditer et de sauvegarder des ontologies et des bases de connaissance sous forme de graphes entités/relations. Ensuite, grâce à son algorithme de subsomption, ERic est capable d’interroger sa base de connaissance de façon remarquablement flexible. ERic v0.2c ajoute le support des nombres réels flottants et des unités SI du système international de mesure. Le forum d’ERic hébergé […]
Un article de SpiceGuid 
avril
2012
Pour ceux qui aiment la théorie des catégories et les preuves diagrammatiques Paul-André Melliès présente une (nouvelle?) approche graphique à la croisée du calcul des séquents et de la théorie des noeuds. Cliquez sur l’image pour télécharger les slides pdf.
avril
2012
Ce billet annonce la disponibilité immédiate d’ERic v0.2a ERic (Entity-Relationship interactive calculator) est un jeune logiciel libre, en ligne de commande, sous licence EUPL-1.1. ERic permet d’éditer et de sauvegarder des ontologies et des bases de connaissance sous forme de graphes entités/relations. Ensuite, grâce à son algorithme de subsomption, ERic est capable d’interroger sa base de connaissance de façon remarquablement flexible. Le forum hébergé par developpez.net Le dépôt SVN
juin
2010
Le système d’exploitation MorphOS, un OS léger et convivial descendant de feu AmigaOS est enfin disponible en version 2.5 sur matériel Apple, eMac, Mac mini G4, en plus des plateformes déjà supportées (Pegasos 1 & 2 et EFIKA). La procédure d’enregistrement de MorphOS 2.5 est intégrée à la version de démonstration et consiste à : installer la version de démonstration librement téléchargeable utiliser l’outil RegTool pour s’enregistrer le paiement s’effectue à l’aide de PayPal Les […]
juin
2010
Si vous ne l’avez pas déjà fait dépêchez-vous de visionner ou de télécharger la vidéo conférence de Heinrich Apfelmus sur les GADTs (Generalized Algebraic Data Types).
juin
2010
Un exercice simple pour débutant en ocaml c’est d’écrire un interpréteur pour un petit langage simple comme par exemple une calculatrice : type arithmetic = | Cst of int | Neg of arithmetic | Add of binary | Sub of binary | Mul of binary | Div of binary and binary = arithmetic * arithmetic Mais cet exercice anodin change complètement de nature quand on passe à un langage fortement normalisant, dans ce cas vous […]
avril
2010
Dans un précédent billet je vous expliquais comment créer un MIME pour les sources dans votre langage de programmation favori. Un MIME (Multipurpose Internet Mail Extension) est une information système pour identifier les types de fichier et leur affecter certains attributs comme une commande par défaut ou une icône personnalisée. Dans ce billet je vais encore plus loin en vous proposant directement un panel d’icônes taillées sur mesure pour le gestionnaire de fichiers ROX-Filer. Bien […]
avril
2010
Ce n’est pas la première fois que je vous parle de jeu-vidéo et de programmation fonctionnelle. Cette fois il s’agit de Raincat, un jeu SDL écrit en Haskell, pour Windows et Linux. Le jeu consiste à déposer les accessoires (dans la colonne à droite) sur le parcours du chaton afin que celui-ci atteigne la sortie du niveau malgré la pluie et diverses projections d’eau. Car le Raincat est réellement hydrophobe, la moindre goutte sur son […]
mars
2010
Sylvain Le Gall et l’équipe organisatrice de la 3ième rencontre des programmeurs Objective-Caml vous donnent rendez-vous le 16 Avril à Paris. Malheureusement je ne pourrai pas être présent cette année.
février
2010
Le tas binaire est un tableau qui implémente un arbre pseudo-complet vérifiant la propriété de tas. Un tableau est de taille fixe. Par conséquent un tas binaire est borné, on ne peut y insérer qu’un nombre fixe et limité d’éléments. Bien sûr on pourrait redimensionner le tableau dynamiquement, mais cela a un impact négatif sur le coût des opérations. Qu’on prêche le style impératif ou le style fonctionnel est étrangé à l’affaire. La bonne question […]